first order predicate calculus
[网络] 一阶谓词演算；一阶述词演算
热门查询
- martial adj. 军事的；战争的；尚武的 n. (Martial)人名；(法)马夏尔
- refrain n. 叠句，副歌；重复 vi. 节制，克制；避免；制止
- terrified v. 使恐惧；恐吓（terrify的过去分词） adj. 感到恐惧的；受惊吓的
- musicology n. 音乐学；音乐理论
- EC abbr. 欧共体（European Community）；接地电流（Earth Current）；电子计算机（Electronic Computer）；弹性系数（Elasticity Coefficient） n. (Ec)人名；(英)埃克(男子教名Alexander 的昵称)
- blotched adj. 有污渍的 v. 把…弄脏（blotch的过去式）
- dusky adj. 暗淡的；微暗的；忧郁的；朦胧的
- premeditate vt. 预谋；预先考虑 vi. 预谋；预先考虑
- calorimeter n. [热] 热量计
- outworker n. （商店、工厂等的）外出工作人员，外部工作人员
- Altrincham n. (Altrincham)人名；(英)奥特林厄姆
- EFTA abbr.European Free Trade Area 欧洲自由贸易地域 abbr.European Free Trade Association 欧洲自由贸易协会
- charles n. 查尔斯（人名）
- postcolonial adj. 殖民地时期之后的
- emolument n. 薪水，报酬
- bleeper n. 无线电传呼机
- yawn n. 哈欠；裂口 vt. 张开；打著哈欠说 vi. 打哈欠；裂开
- hairnet n. 发网
- planet n. 行星 n. (Planet)人名；(法)普拉内；(西、葡)普拉内特
- metamorphoses n. 变形（metamorphosis的复数）
考试词汇表
- high cycle fatigue life
- high definition imagery
- high definition pick-up
- high definition picture
- high degree of accuracy
- high degree of autonomy
- high degree of scarcity
- high demand merchandise
- high density fiberboard
- high density propellant
- high density stock pump
- high differential cabin
- high dilution principle
- high dose fractionation
- high draft roving frame
- high efficiency turbine
- high efficient demister
- high elevation stacking
- high emphasis filtering
- high end microprocessor
